1. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
Author: Dirk van Dalen, Marc Bezem )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer logic - Congresses
Classification :
QA
76
.
9
.
L63
W67
1996
2. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Author: Dirk van Dalen, Marc Bezem )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
1258
3. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
Author: / Dirk Van Dalen, Marc Bezem (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA75
,.
5
.
W62
